Thực đơn
Robin Milner Đóng gópÔng phát triển LCF, một trong những công cụ tự động chứng minh định lý đầu tiên, ML, là ngôn ngữ đa hình, type inference và kiểu an toànbắt ngoại lệ đầu tiên. Ông cũng phát triển các nền tảng cho việc phân tích các concurrent systems, hệ thống calculus of communicating systems (CCS), và sau đó là pi-calculus.
Thực đơn
Robin Milner Đóng gópLiên quan
Robin Robin van Persie Robinho Robin Gosens Robinson Crusoe Robin (truyện tranh) Robin Williams Robin Hood Robinsons Galleria Robin Hood (phim 2010)Tài liệu tham khảo
WikiPedia: Robin Milner http://www.fairdene.com/picalculus/robinmilner.htm... http://north.ecc.edu/alsani/ct01(1-4)/msg00041.htm... http://mitpress.mit.edu/catalog/item/default.asp?t... http://www.diffusion.ens.fr/data/audio/2007_12_10_... http://www.cl.cam.ac.uk/users/rm135/ http://www.dcs.qmul.ac.uk/~martinb/interviews/miln... http://www.royalsoced.org.uk/rse_press/2004/medals...